Project-Team Mexico
Personnel
Overall Objectives
Scientific Objectives
Research Program
Concurrency
Management of Quantitative Behavior
Application Domains
Telecommunications
Biological Systems
Autonomous Vehicles
Highlights of the Year
New Software and Platforms
COSMOS
CosyVerif
Mole
New Results
Optimal constructions for active diagnosis
Diagnosability of Repairable Faults
Diagnostic et contrôle de la dégradation des systèmes probabilistes
The Complexity of Diagnosability and Opacity Verification for Petri Nets
Probabilistic Disclosure: Maximisation vs. Minimisation
D-SPACES: Implementing Declarative Semantics for Spatially Structured Information
Unbounded product-form Petri nets
Statistical Model-Checking for Autonomous Vehicle Safety Validation
Une sémantique formelle pour les modèles Simulink
The Logical View on Continuous Petri Nets
Memoryless Determinacy of Finite Parity Games: Another Simple Proof
Interval iteration algorithm for MDPs and IMDPs
Alignment-Based Trace Clustering
Aligning Modeled and Observed Behavior: A Compromise Between Complexity and Quality
Temporal Reprogramming of Boolean Networks
Goal-Driven Unfolding of Petri Nets
Euler's Method Applied to the Control of Switched Systems
An Improved Algorithm for the Control Synthesis of Nonlinear Sampled Switched Systems
Distributed Control Synthesis Using Euler's Method
Control Synthesis of Nonlinear Sampled Switched Systems using Euler's Method
Metastability-Aware Memory-Efficient Time-to-Digital Converter
Brief Announcement: Lower Bounds for Asymptotic Consensus in Dynamic Networks
Metastability Tolerant Computing
Partnerships and Cooperations
National Initiatives
International Initiatives
International Research Visitors
Dissemination
Promoting Scientific Activities
Teaching - Supervision - Juries
Bibliography
Major publications
Publications of the year
References in notes
Inria
|
Raweb 2017
|
Presentation of the Project-Team MEXICO
|
MEXICO Web Site
PDF
e-Pub
Previous |
Home
| Next
Section: New Results
Brief Announcement: Lower Bounds for Asymptotic Consensus in Dynamic Networks
Published in
[12]
.
Previous |
Home
| Next